Distributed Synthesis of State-Dependent Switching Control
نویسندگان
چکیده
We present a correct-by-design method of state-dependent control synthesis for linear discrete-time switching systems. Given an objective region R of the state space, the method builds a capture set S and a control which steers any element of S into R. The method works by iterated backward reachability from R. More precisely, S is given as a parametric extension of R, and the maximum value of the parameter is solved by linear programming. The method can also be used to synthesize a stability control which maintains indefinitely within R all the states starting at R. We explain how the synthesis method can be performed in a distributed manner. The method has been implemented and successfully applied to the synthesis of a distributed control of a concrete floor heating system with 11 rooms and 2 = 2048 switching modes.
منابع مشابه
Compositional Synthesis of State-Dependent Switching Control
We present a correct-by-design method of state-dependent control synthesis for sampled switching systems. Given a target region R of the state space, our method builds a capture set S and a control that steers any element of S intoR. The method works by iterated backward reachability fromR. The method is also used to synthesize a recurrence control that makes any state of R return to R infinite...
متن کاملRobust H2 switching gain-scheduled controller design for switched uncertain LPV systems
In this article, a new approach is proposed to design robust switching gain-scheduled dynamic output feedback control for switched uncertain continuous-time linear parameter varying (LPV) systems. The proposed robust switching gain-scheduled controllers are robustly designed so that the stability and H2-gain performance of the switched closed-loop uncertain LPV system can be guaranteed even und...
متن کاملTransient Analysis of M/M/R Machining System with Mixed Standbys, Switching Failures, Balking, Reneging and Additional Removable Repairmen
The objective of this paper is to study the M/M/R machine repair queueing system with mixed standbys. The life-time and repair time of units are assumed to be exponentially distributed. Failed units are repaired on FCFS basis. The standbys have switching failure probability q (0≤q≤1). The repair facility of the system consists of R permanent as well as r additional removable repairmen. Due to i...
متن کاملSwitching fuzzy modelling and control scheme using T-S fuzzy systems with nonlinear consequent parts
This paper extends the idea of switching T-S fuzzy systems with linear consequent parts to nonlinear ones. Each nonlinear subsystem is exactly represented by a T-S fuzzy system with Lure’ type consequent parts, which allows to model and control wider classes of switching systems and also reduce the computation burden of control synthesis. With the use of a switching fuzzy Lyapunov function, the...
متن کاملA new switching strategy for exponential stabilization of uncertain discrete-time switched linear systems in guaranteed cost control problem
Uncertain switched linear systems are known as an important class of control systems. Performance of these systems is affected by uncertainties and its stabilization is a main concern of recent studies. Existing work on stabilization of these systems only provides asymptotical stabilization via designing switching strategy and state-feedback controller. In this paper, a new switching strate...
متن کامل